:: Monad m => (a -> b) -> (m a -> m b) -package:numeric-prelude package:cabal-install-solver

Promote a function to a monad.